$a$ in dom($M$.pre) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\uparrow$$a$ $\in$ dom(($M$.2.2.2).1)